Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
61	179 Doc. Math. J. DMV Differen e S heme for the Vlasov-Manev System Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-07-15 07:20:41 Mathematical analysis Mathematics Analysis Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Exponentiation Distribution Derivative
62	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proving Termination by Dependency Pairs and Inductive Theorem Proving Carsten Fuhs · J¨ Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2011-06-16 09:07:59 Theoretical computer science Logic Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Nqthm Rewrite order Symbol
63	Stable Model Counting and Its Application in Probabilistic Logic Programming Rehan Abdul Aziz and Geoffrey Chu and Christian Muise and Peter Stuckey arXiv:1411.5410v1 [cs.AI] 20 NovNational ICT Australia, Victoria Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-11-20 20:37:14 Logic programming Model theory Stable model semantics Answer set programming
64	Chapter 2 I nducti ve Learni ng This chapter presents an overview of the research in inductive learning. We briefly describe the various aspects of this scientific field and present some examples of applications. We the Add to Reading List Source URL: www.dcc.fc.up.pt Language: English - Date: 2012-12-13 10:18:43 Machine learning Cognition Knowledge Learning Supervised learning Inductive logic programming Decision tree learning Inductive reasoning Artificial neural network Statistics Inference Book:Machine Learning The Complete Guide
65	Istation Reading Curriculum Correlated to South Carolina College- and Career-Ready Standards for English Language Arts Grades 6-8 Add to Reading List Source URL: www.istation.com Language: English - Date: 2016-01-22 11:55:12 Reading Education in the United States Learning to read Reading comprehension System time Logic programming Computing Computer engineering
66	FCS 2009 Workshop on Foundations of Computer Security July 10th, 2009 Los Angeles, California, USA Affiliated with LICS’09 Add to Reading List Source URL: www.loria.fr Language: English - Date: 2009-07-20 04:50:04 Logic Proof theory Mathematical logic Philosophy Sequent Linear logic Soundness Logic programming Inductive reasoning
67	Control-Flow Analysis of Higher-Order Languages or Taming Lambda Olin Shivers May 1991 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-06-22 12:57:54 Software engineering Computing Computer programming Logic in computer science Programming language implementation Functional languages Compiler construction Programming languages Denotational semantics Compiler Lisp Semantics
68	Single-Pass List Partitioning Leonor Frias ∗ Universitat Polit`ecnica de Catalunya Dep. de Llenguatges i Sistemes Inform`atics Jordi Girona Salgado, Barcelona, Spain Add to Reading List Source URL: algo2.iti.kit.edu Language: English - Date: 2008-05-15 11:50:35 Mathematics Computational complexity theory Dynamic programming Discrete mathematics Combinatorics Analysis of algorithms Algorithm Mathematical logic Theoretical computer science Time complexity FisherYates shuffle Longest increasing subsequence
69	Final test: Type Theory and Coqjanuary 2011, 10:30–12:30, HG00.308 The mark for this test is the total number of points divided by ten, where the first 10 points are free. 1. Give a term of the simply typed la Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-18 05:58:42 Mathematical logic Logic Type theory Theoretical computer science Lambda calculus Dependently typed programming Proof theory Logic in computer science CurryHoward correspondence Dependent type System F Simply typed lambda calculus